Fuzion • Library Modules • base • concur • blocking_mutate • wait

concur.blocking_mutate.wait

type

Function, condition F)

[Redefinition of mutate.wait]

wait for the given condition to become true by a mutation of the underlying data.

In case this mutate is not a multi-thread implementation and `condition()` is `false`,
this will `panic`.

Precondition

Inherited from mutate.wait

pre
  safety: is_this_mutate_instated_and_usable
  safety: is_exclusive

Postcondition

Inherited from mutate.wait

post
  debug: condition()

redefines:

mutate.wait

Type Parameters

Function ¶

[src]

0.095dev (GIT hash fe578dbae82d257bfb6d755e3b05abbf37247dbe)

last changed: 2026-05-12